Eléments de l'association
|  |
List of bibliographic references
Number of relevant bibliographic references: 116.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 000013 | Imen Sayar [France] ; Jeanine Souquières [France] | La Validation dans le Processus de Développement |
| 000D04 | Faqing Yang [France] ; Jean-Pierre Jacquot [France] ; Jeanine Souquières [France] | Proving the Fidelity of Simulations of Event-B Models |
| 000F16 | Faqing Yang [France] ; Jean-Pierre Jacquot [France] ; Jeanine Souquières [France] | JeB: Safe Simulation of Event-B Models in JavaScript |
| 001821 | Faqing Yang [France] ; Jean-Pierre Jacquot [France] ; Jeanine Souquières [France] | The Case for Using Simulation to Validate Event-B Specifications |
| 001C50 | Faqing Yang [France] ; Jean-Pierre Jacquot [France] ; Jeanine Souquières [France] | Traduction de B événementiel en C pour la validation par la simulation |
| 003361 | Isabelle Coté [Allemagne] ; Maritta Heisel [Allemagne] ; Jeanine Souquières [France] | On the Evolution of Component-based Software |
| 003657 | Atif Mashkoor [France] ; Jean-Pierre Jacquot [France] ; Jeanine Souquières [France] | Transformation Heuristics for Formal Requirements Validation by Animation |
| 003716 | Atif Mashkoor [France] ; Jean-Pierre Jacquot [France] ; Jeanine Souquières [France] | B événementiel pour la modélisation du domaine: application au transport |
| 003873 | Samuel Colin [France] ; Arnaud Lanoix [France] ; Olga Kouchnarenko [France] ; Jeanine Souquières [France] | Using CSP||B Components: Application to a Platoon of Vehicles |
| 003D18 | Inès Mouakher [France] ; Jeanine Souquières [France] ; Francis Alexandre [France] | Diagnostic et correction d'erreurs de spécifications : application à l'assemblage de composants |
| 003D73 | Jeanine Souquières [France] | A Component-Based Approach for the Specification and Verification of Safety Critical Software: Application to a Platoon of Vehicles |
| 003E72 | Samuel Colin [France] ; Arnaud Lanoix [France] ; Olga Kouchnarenko [France] ; Jeanine Souquières [France] | Using CSP||B Components: Application to a Platoon of Vehicles |
| 003F03 | Samuel Colin [France] ; Jean-Pierre Jacquot [France] ; Arnaud Lanoix [France] ; Atif Mashkoor [France] ; Jeanine Souquières [France] | Requirements for the Description of Component Assembling |
| 003F31 | Samuel Colin [France] ; Arnaud Lanoix [France] ; Olga Kouchnarenko [France] ; Jeanine Souquières [France] | Towards Validating a Platoon of Cristal Vehicles using CSP||B |
| 004000 | Boulbaba Ben Ammar [France] ; Mohamed Tahar Bhiri [Tunisie] ; Jeanine Souquières [France] | Schéma de refactoring de diagrammes de classes basé sur la notion de délégation |
| 004029 | Samuel Colin [France] ; Arnaud Lanoix [France] ; Jeanine Souquières [France] | Validation technique des sous-systèmes |
| 004065 | Inès Mouakher [France] ; Jeanine Souquières [France] ; Francis Alexandre [France] | Protocol Verification in a Software Component-Based Approach |
| 004108 | Samuel Colin [France] ; Jean-Pierre Jacquot [France] ; Arnaud Lanoix [France] ; Atif Mashkoor [France] ; Jeanine Souquières [France] | Model for the Land Transport Domain |
| 004109 | Samuel Colin [France] ; Arnaud Lanoix [France] ; Atif Mashkoor ; Jeanine Souquières [France] | A synthesis of existing approaches to specify non-functional properties |
| 004246 | Boulbaba Ben Ammar [France, Tunisie] ; Mohamed Tahar Bhiri [Tunisie, France] ; Jeanine Souquières [France] | Modélisation événementielle pour la construction de diagrammes de classes |
| 004266 | Arnaud Lanoix [France] ; Samuel Colin [France] ; Jeanine Souquières [France] | Développement formel par composants |
| 004289 | Samuel Colin [France] ; Arnaud Lanoix [France] ; Olga Kouchnarenko [France] ; Jeanine Souquières [France] | Towards Validating a Platoon of Cristal Vehicles Using CSP||B |
| 004372 | Boulbaba Ben Ammar [France, Tunisie] ; Mohamed Tahar Bhiri [Tunisie, France] ; Jeanine Souquières [France] | Incremental development of UML specifications using operation refinements |
| 004508 | Dirk Seifert [France] ; Jeanine Souquières [France] | Using UML Protocol State Machines in Conformance Testing of Components |
| 004509 | Arnaud Lanoix [France] ; Jeanine Souquières [France] | Trustworthy Assembly of Components using B Refinement |
| 004584 | Atif Mashkoor [France] ; Jean-Pierre Jacquot [France] ; Jeanine Souquières [France] | Domain Modeling with Event-B: An Experience with Transportation Domain |
| 004746 | Jeanine Souquières [France] | Approches formelles pour le développement de logiciels |
| 004838 | Samir Chouali [France] ; Samuel Colin [France] ; Ahmed Hammad [France] ; Olga Kouchnarenko [France] ; Arnaud Lanoix [France] ; Hassan Mountassir [France] ; Jeanine Souquières [France] | Requirements for the description of a component in order to use in a component based approach -- Livrable TACOS L2-1.0 |
| 004875 | Arnaud Lanoix [France] ; Samuel Colin [France] ; Jeanine Souquières [France] | Schémas de développement d'adaptateurs à l'aide de B |
| 004924 | Boulbaba Ben Ammar [France] ; Mahamed Tahar Bhiri [Tunisie] ; Jeanine Souquières [France] | Quelques patrons de raffinement pour le développement de diagrammes de classes UML |
| 004975 | Samuel Colin [France] ; Arnaud Lanoix [France] ; Jeanine Souquières [France] | Trustworthy interface compliancy: data model adaptation using B refinement |
| 004B33 | Jeanine Souquières [France] | Editorial |
| 004C68 | Arnaud Lanoix [France] ; Denis Hatebur [Allemagne] ; Maritta Heisel [Allemagne] ; Jeanine Souquières [France] | Enhancing Dependability of Component-Based Systems |
| 004E17 | Boulbaba Ben Ammar [France] ; Mohamed Tahar Bhiri [Tunisie] ; Jeanine Souquières [France] | Towards an incremental development of UML specifications |
| 004E43 | Inès Mouakher [France] ; Francis Alexandre [France] ; Jeanine Souquières [France] | Protocol verification in a software component approach |
| 004E53 | Isabelle Coté [Allemagne] ; Maritta Heisel [Allemagne] ; Jeanine Souquières [France] | On the Evolution of Component-based Software |
| 004E65 | Boulbaba Ben Ammar [France] ; Mohamed Tahar Bhiri [Tunisie] ; Jeanine Souquières [France] | Incremental development of UML specifications using operation refinements |
| 004E81 | Arnaud Lanoix [France] ; Denis Hatebur [Allemagne] ; Maritta Heisel [Allemagne] ; Jeanine Souquières [France] | Enhancing Dependability of Component-based Systems |
| 005063 | Arnaud Lanoix [France] ; Jeanine Souquières [France] | Component-based Development using the B method |
| 005078 | Inès Mouakher [Tunisie] ; Arnaud Lanoix [France] ; Jeanine Souquières [France] | Component Adaptation: Specification and Verification |
| 005123 | Arnaud Lanoix [France] ; Dieu Donné Okalas Ossami [France] ; Jeanine Souquières [France] | An Operator-based Approach to Incremental Development of Conform Protocol State Machines |
| 005223 | Jacques Julliand [France] ; Jeanine Souquières [France] | Approches formelles pour le développement de logiciels |
| 005232 | Samir Chouali [France] ; Maritta Heisel [Allemagne] ; Jeanine Souquières [France] | Proving Component Interoperability with B Refinement |
| 005328 | Jacques Julliand [France] ; Jeanine Souquières [France] | Editorial |
| 005713 | Ninh Thuan Truong [France] ; Jeanine Souquières [France] | Verification of UML Model Elements Using B |
| 005714 | Ninh Thuan Truong [France] ; Jeanine Souquières [France] | Validation of UML scenarios using the B Prover |
| 005777 | Dieu Donné Okalas Ossami [France] ; Jeanine Souquières [France] ; Jean-Pierre Jacquot [France] | Ensuring specification correctness by construction |
| 005786 | Dieu Donné Okalas Ossami [France] ; Jeanine Souquières [France] ; Jean-Pierre Jacquot [France] | Developing Specifications by using Operators: a Process to guarantee correctness by construction |
| 005798 | Ninh Thuan Truong [France] ; Jeanine Souquières [France] | Checking Consistency of UML state and sequence diagrams using B |
| 005822 | Arnaud Lanoix [France] ; Jeanine Souquières [France] | A Step-by-step Process to Build Conform UML Protocol State Machines |
| 005824 | Denis Hatebur [Allemagne] ; Maritta Heisel [Allemagne] ; Jeanine Souquières [France] | A Method for Component-Based Software and System Development |
| 006277 | Dieu Donné Okalas Ossami [France] ; Jean-Pierre Jacquot [France] ; Jeanine Souquières [France] | Consistency in UML and B Multi-view Specifications |
| 006394 | Ninh Thuan Truong [France] ; Jeanine Souquières [France] | Un outil support pour prendre en compte des propriétés objets de réciprocité en B |
| 006407 | Ninh Thuan Truong [France] ; Jeanine Souquières [France] | Prise en compte des propriétés objets de réciprocité en B |
| 006452 | Ninh Thuan Truong [France] ; Jeanine Souquières [France] | Validation of UML static diagrams using B |
| 006465 | Ninh Thuan Truong [France] ; Jeanine Souquières [France] | Test of object-based specifications using B notations |
| 006481 | Samir Chouali [France] ; Maritta Heisel [Allemagne] ; Jeanine Souquières [France] | Proving Component Interoperability with B Refinement |
| 006482 | Samir Chouali [France] ; Maritta Heisel [Allemagne] ; Jeanine Souquières [France] | Proving Component Interoperability with B Refinement |
| 006533 | Dieu Donné Okalas Ossami [France] ; Jean-Pierre Jacquot [France] ; Jeanine Souquières [France] | Development of objectoriented and formal multi-view specifications |
| 006539 | Dieu Donné Okalas Ossami [France] ; Jean-Pierre Jacquot [France] ; Jeanine Souquières [France] | Consistency in UML and B multi-view specifications |
| 006A92 | Jean-Marc Jézéquel [France] ; Jeanine Souquières [France] | Editorial |
| 006C44 | Maritta Heisel [Allemagne] ; Jeanine Souquières [France] | Adding Features to Component-Based Systems |
| 006D44 | Ninh Thuan Truong [France] ; Jeanine Souquières [France] | Validation des propriétés d'un scénario UML/OCL à partir de sa dérivation en B |
| 006D63 | Maritta Heisel ; Jeanine Souquières [France] | Spécification de composants pour assurer leur interopérabilité |
| 006D85 | Dieu Donné Okalas Ossami [France] ; Jeanine Souquières [France] ; Jean-Pierre Jacquot [France] | Opérations de construction de spécification multi-vues UML et B |
| 006E23 | Dieu Donné Okalas Ossami [France] ; Jeanine Souquières [France] ; Jean-Pierre Jacquot [France] | Concepts importants à la construction de spécifications multi-vues UML et B |
| 006E85 | Maritta Heisel ; Jeanine Souquières [France] | Specifying Components for Checking Interoperability |
| 007032 | Dieu Donné Okalas Ossami [France] ; Jeanine Souquières [France] ; Jean-Pierre Jacquot [France] | Developing UML and B specification using operators : an application to the data refinement |
| 007052 | Ninh Thuan Truong [France] ; Jeanine Souquières [France] | Consistency checking of UML static diagrams using B |
| 007067 | Ninh Thuan Truong [France] ; Jeanine Souquières [France] | Boo - A formal approach to specification and verification of object-oriented system |
| 007083 | Ninh Thuan Truong [France] ; Jeanine Souquières [France] | An approach for the verification of UML models using B |
| 007090 | Maritta Heisel [France] ; Jeanine Souquières [France] | Adding feature to component-based systems |
| 007B98 | Dieu Donné Okalas Ossami [France] ; Jeanine Souquières [France] ; Jean-Pierre Jacquot [France] | Vers la construction de spécifications multi-vues UML et B |
| 007C00 | Ninh Thuan Truong [France] ; Jeanine Souquières [France] | Validation des propriétés d'un scénario UML/OCL à partir de sa dérivation en B |
| 007C07 | Hung Ledang [France] ; Jeanine Souquières [France] | Transformation systématique de spécifications UML en B |
| 007C67 | Jeanine Souquières [France] ; Maritta Heisel | Formalisation des besoins à l'aide de schémas LSCs |
| 007D05 | Hung Ledang [France] ; Jeanine Souquières [France] ; Sebastien Charles [France] | ArgoUML+B : un outil de transformation systématique de spécifications UML en B |
| 007E67 | Ninh Thuan Truong [France] ; Jeanine Souquières [France] | An approach for the verification of UML models using B |
| 007E79 | Maritta Heisel ; Jeanine Souquières [France] | Adding Features to Component-Based Systems |
| 008045 | Hung Ledang [France] ; Jeanine Souquières [France] | Integration of UML Views using B Notation |
| 008709 | Jeanine Souquières [France] | Editorial |
| 008728 | Maritta Heisel [Allemagne] ; Thomas Santen [Allemagne] ; Jeanine Souquières [France] | Toward a Formal Model of Software Components |
| 008820 | Hung Ledang [France] ; Jeanine Souquières [France] | Contributions for Modelling UML State-Charts in B |
| 008A50 | Maritta Heisel ; Thomas Santen ; Jeanine Souquières [France] | Toward a Formal Model of Software Components |
| 008A99 | Maritta Heisel ; Thomas Santen ; Jeanine Souquières [France] | On the Specification of Components - the JavaBeans Example |
| 008B24 | Hung Ledang [France] ; Jeanine Souquières [France] | Integration of UML and B Specification Techniques: Systematic Transformation from OCL Expressions into B |
| 008B38 | Nicole Lévy [France] ; Rafael Marcano Kamenoff [France] ; Jeanine Souquières [France] | From Requirements to Formal Specification Using UML and B |
| 008B55 | Hung Ledang [France] ; Jeanine Souquières [France] | Derivation Schemes from OCL Expressions to B |
| 008B59 | Hung Ledang [France] ; Jeanine Souquières [France] | Contributions for Modelling UML State-Charts in B |
| 008C31 | Hung Ledang [France] ; Jeanine Souquières [France] | Modeling class operations in B: application to UML behavioral diagrams |
| 008C53 | Hung Ledang [France] ; Jeanine Souquières [France] | Formalizing UML Behavioral Diagrams with B |
| 008C67 | Hung Ledang [France] ; Jeanine Souquières [France] | Integrating UML and B Specification Techniques |
| 009612 | Hung Ledang [France] ; Jeanine Souquières [France] | New Approach for Modeling State-Chart Diagrams in B |
| 009618 | Hung Ledang [France] ; Jeanine Souquières [France] | Modeling the class operations in B: a case study on the pump component |
| 009809 | Rafael Marcano Kamenoff [France] ; Eric Meyer [France] ; Nicole Lévy [France] ; Jeanine Souquières [France] | Utilisation de patterns dans la construction de specifications en UML et B |
| 00A023 | Jeanine Souquières [France] ; Maritta Heisel | Une méthode pour l'élicitation des besoins : application au système de contrôle d'accès |
| 00A057 | Jeanine Souquières [France] | Logiciels et modèles de développement |
| 00A064 | Eric Meyer [France] ; Jeanine Souquières [France] | Le paradigme objet pour l'aide au développement de spécifications formelles B |
| 00A065 | Jeanine Souquières [France] | Le CMM et ses exigences concernant la gestion de projet, l'assurance qualité et la sous-traitance |
| 00A137 | Jeanine Souquières [France] ; Maritta Heisel | Structuring the First Steps of Requirements Elicitation |
| 00A301 | Jeanine Souquières [France] ; Maritta Heisel | A Method for Systematic Requirements Elicitation: Application to the Light Control System |
| 00A302 | Maritta Heisel [France] ; Jeanine Souquières [France] | A Heuristic Algorithm to Detect Feature Interactions in Requirements |
| 00AA54 | Eric Meyer [France] ; Jeanine Souquières [France] | A Systematic Approach to Transform OMT Diagrams to a B Specification |
| 00AA60 | Maritta Heisel [Allemagne] ; Jeanine Souquières [France] | A Method for Requirements Elicitation and Formal Specification |
| 00AC42 | Jeanine Souquières [France] ; Maritta Heisel | Requirements elicitation and specification |
| 00AC43 | Maritta Heisel ; Jeanine Souquières [France] | Requirements Elicitation for a Light Control System |
| 00AD58 | Eric Meyer [France] ; Jeanine Souquières [France] | A systematic approach to transform OMT diagrams to a B specification |
| 00AD69 | Maritta Heisel ; Jeanine Souquières [France] | A Method for Requirements Elicitation and Formal Specification |
| 00B630 | Maritta Heisel [France] ; Jeanine Souquières [France] | Methodological Support for Requirements Elicitation and Formal Specification |
| 00B665 | Maritta Heisel [France] ; Jeanine Souquières [France] | Detecting Feature Interaction - A Heuristic Approach |
| 00B702 | Thomas Lambolais [France] ; Jeanine Souquières [France] | Achieving Qualities During the Development of LOTOS Specifications |
| 00B717 | Maritta Heisel [France] ; Jeanine Souquières [France] | A Method to Express Requirements and Transform them into a Formal Specification |
| 00B718 | Maritta Heisel [France] ; Jeanine Souquières [France] | A Heuristic Approach to Detect Feature Interactions in Requirements |
| 00BC33 | Nicole Lévy [France] ; Jeanine Souquières [France] | Modelling specification construction by successive approximations |
| 00C035 | Jeanine Souquières [France] ; Nicole Lévy [France] | Proplane: A specification development environment |
| 00E620 | Eric Dubois [Belgique] ; Nicole Levy [France] ; Jeanine Souquières [France] | Formalising restructuring operators in a specification process |
| This area was generated with Dilib version V0.6.33. |  |